int valid_name(char []);
